一种基于GEP的程序不变量动态发现方法

利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.     

拓扑对复杂通信网络级联故障传播的影响

考虑现实大规模通信网络中负载流量的动态变化,以及局域拥塞状态对路由的影响,引入一个带有可调参数的级联故障模型.对比了同质的ER(Erds-Rényi)随机网络和异质的BA(Barabási-Albert)无标度网络由蓄意节点攻击引发的级联行为,探讨了不同拓扑网络的包产生速率、路由参数和规模对故障传播的影响.依据临界包产生速率这种新的度量网络鲁棒性指标,通过仿真发现,拓扑结构对网络最优路由参数值以及不同网络规模上的攻击效果都产生重要影响.     

基于B/S模式的院校招生管理信息系统设计

院校招生管理信息系统是一个为实现招生管理的自动化和网络化而设计的应用软件.本文阐述了基于B/S模式和采用Java技术的该系统的体系结构、主要功能及设计思想.     

集群式VOD系统的视频数据存储技术研究

在采用层次化存储的并行VOD系统中,若将视频文件进行拆分并把它打散存储在各个存储单元,将获得更高的磁盘利用率.在我们提出的集群式并行视频服务器结构中,数据节点的独立性很强,为提高数据的并发度、负载平衡及容错性,本文提出了一种类似RAID5结构的独立冗余数据节点阵列RAIDN,并讨论了它的容错机制.     

面向学习对象的网络课程设计与开发

本文基于SCORM标准,提出了面向学习对象的网络课程设计方法,对关键技术进行了阐述.面向学习对象的网络课程实现了课程资源的共享与重用.     

基于分布特征的异常成绩检测方法

数据质量对于学生成绩具有十分重要的意义.本文将教育学原理与数据清洗技术相结合,提出了一种基于分布特征的异常成绩检测方法.在理论上论证了方法的合理性,并通过实验验证了方法的有效性.本文的工作不仅对于提高成绩管理系统的运行质量有直接的作用,而且为将数据质量研究应用于教育信息化领域提供了很好的开端.     

基于混合蜂群算法的柔性作业车间调度优化

针对柔性作业车间调度求解问题,提出一种新型混合蜂群智能优化算法.该算法采用独特的编码方式和位置更新策略来避免不合法解的产生,在蜂群算法的基础上增加了有利于局部搜索的混沌算子提高了算法搜索精度,实现了全局搜索与局部搜索能力的有效平衡.最后将此算法在不同规模的实例上进行了仿真测试,并与最近提出的其他几种具有代表性的算法进行了比较,验证了该算法的有效性和优越性.     

一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性。实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度。     

一种参数动态调整的自适应微粒群优化算法

提出了一种参数动态调整的自适应微粒群优化算法.针对微粒群算法中不同适应度值的微粒所需要的搜索能力不同,引入微粒相对优秀度概念,通过相对优秀度来动态调整惯性权重和加速因子,有效地调节算法的全局和局部搜索能力,保持了微粒的个性.利用三个Benchmark函数进行数值试验,仿真结果表明,算法稳定,具有较好的收敛性能.